Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment
نویسندگان
چکیده
Currently, metaand multi-level modelling is gaining more and more attention. A natural, upcoming question is, how to extend existing two-level approaches to cover multi-levels. In this contribution, we extend the UML and OCL tool USE in order to describe multi-level models. We also apply the extension to demonstrate the usefulness of multi-level modelling for model querying and model quality assessment.
منابع مشابه
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment
For developing software in a model-driven style, metaand multi-level modeling is currently gaining more and more attention. In this contribution, we propose an approach to extend a two-level modeling tool to three-level modeling by adding a meta-model at the topmost level. Standard OCL does not support reflective constraints, i.e., constraints concerning properties of the model like the depth o...
متن کاملTowards Model Validation and Verification with SAT Techniques
After sketching how system development and the UML (Unified Modeling Language) and the OCL (Object Constraint Language) are related, validation and verification with the tool USE (UML-based Specification Environment) is demonstrated. As a more efficient alternative for verification tasks, two approaches using SAT-based techniques are put forward: First, a direct encoding of UML and OCL with Boo...
متن کاملKA Tool and domain construction for AI planning applications
KA Tool embodies work aimed at allowing domain experts to generate a domain model for an AI planning system, carried out as part of a larger project to build an integrated set of tools for supporting AI planning. The paper outlines the overall methodology and describes how KA Tool supports it. A Domain model is generated in which can be represented by cluster of constraints shaping an Ontology ...
متن کاملTowards a metric suite for OCL Expressions expressed within UML/OCL models
UML models quality is clearly a crucial issue that must be evaluated at the initial stages of object-oriented software development, in order to get software products with better quality. This fact is corroborated by the huge amount of metrics that have appeared in the literature related to the measurement of UML diagrams at a high level design stage. Most of these metrics are focused on the mea...
متن کاملLogical Reasoning with Object Diagrams in a UML and OCL Tool
In this contribution, we introduce an approach to visualize and analyze logical reasoning problems in a UML and OCL tool by using logical puzzles represented with UML diagrams. Logical reasoning is formalized as a UML class diagram model enhanced by OCL restrictions. Puzzle rules and questions are expressed as either partial object diagrams or OCL formulas within the model. Solutions can be fou...
متن کامل